Revision: tlacontrib--aba--1.3--patch-36
Archive: aaron.bentley@utoronto.ca--tla-2004
Creator: Aaron Bentley <aaron.bentley@utoronto.ca>
Date: Thu May 27 19:16:38 EDT 2004
Standard-date: 2004-05-27 23:16:38 GMT
Modified-files: aba/commands/replay-micro
New-patches: aaron.bentley@utoronto.ca--tla-2004/tlacontrib--aba--1.3--patch-36
Summary: Abort replay-micro if the tree contains changes, improved help
Keywords: 

